Concurrent algorithm - PDFSEARCH.IO - Document Search Engine

Concurrent algorithm
Results: 314

#	Item
51	Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2013-03-28 17:48:03 Concurrency control Computing Computer programming Concurrent computing Non-blocking algorithm Hazard pointer Mutual exclusion Lock Concurrent data structure Synchronization Compare-and-swap Linearizability
52	Fact-based Inter-Process Communication Primitives for Programming Distributed Systems Robbert van Renesse, Department of Computer Science Cornell University Category: Representation The following position paper describes Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-11-08 10:08:11 Concurrent computing Computing Software engineering Fault-tolerant computer systems Distributed computing Inter-process communication Message-oriented middleware Publishsubscribe pattern Paxos Consensus Communications protocol Distributed algorithm
53	Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces Alysson Neves Bessani† Miguel Correia‡ Add to Reading List Source URL: www.di.fc.ul.pt Language: English - Date: 2006-03-31 09:01:56 Computing Concurrent computing Fault-tolerant computer systems Distributed computing architecture Distributed computing Consensus Linearizability Tuple space Tuple Algorithm Linda Distributed object
54	Specifying and Verifying   Concurrent  Algorithms with   Histories and Subjectivity memoria software v3.qxd Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-04-16 09:10:05 Algebra Mathematics Abstract algebra Semigroup theory Algebraic structures Mathematical logic Category theory Monoid Algorithm Concurrent algorithm
55	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2013-07-18 23:10:16 Concurrency control Linearizability Non-blocking algorithm Monitor Lock Deadlock Synchronization Thread Liveness
56	Single Program, Multiple Data Programming for Hierarchical Computations by Amir Ashraf Kamil A dissertation submitted in partial satisfaction of the requirements for the degree of Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 05:44:22 Concurrent computing Computing Parallel computing Computer programming Cray SPMD Unified Parallel C Divide and conquer algorithms Thread OpenMP Algorithm Cell
57	Mechanized Verification of   Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software Concurrency control Separation logic Lock Concurrency Non-blocking algorithm Concurrent computing Parallel computing Linearizability Go
58	Optimistic Transactional Boosting Ahmed Hassan Roberto Palmieri Binoy Ravindran Add to Reading List Source URL: www.hyflow.org Language: English - Date: 2014-07-30 14:40:19 Concurrency control Transaction processing Data management Software transactional memory Transactional memory Lock Optimistic concurrency control Non-blocking algorithm Data Parallel computing Isolation Concurrent data structure
59	THE RAFT CONSENSUS ALGORITHM DIEGO ONGARO AND JOHN OUSTERHOUT STANFORD UNIVERSITY MAYraftconsensus.github.io Add to Reading List Source URL: raftconsensus.github.io Language: English - Date: 2015-07-08 01:51:21 Software Replication Consensus Paxos Server X Window System Virtual synchrony State machine replication Fault-tolerant computer systems Computing Concurrent computing
60	Intent-based Compilation for Heterogeneous Parallel Architectures Waseem Ahmed Shamsheer Ahmed Add to Reading List Source URL: www.hipc.org Language: English - Date: 2011-11-11 12:59:07 Parallel computing Automatic parallelization Compiler OpenMP Algorithm Travelling salesman problem Multi-core processor Parallel programming model Speedup Computing Concurrent computing Computer programming